Encapsulation theory fundamentals

نویسنده

  • Edmund Kirwan
چکیده

This paper proposes a theory of encapsulation, establishing a relationship between encapsulation and information hiding through the concept of potential structural complexity (P.S.C.), the maximum possible number of source code dependencies that can exist between program units in a software system. The P.S.C. of various, simple systems is examined in an attempt to demonstrate how P.S.C. changes as program units are encapsulated among different configurations of subsystems.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Carotenoid Pigments Encapsulation: Fundamentals, Techniques and Recent Trends

Supercritical fluids have become an attractive alternative due to environmentally friendly solvents. The methods that use supercritical fluids can be conveniently used for various applications such as extraction, reactions, particle formation and encapsulation. For encapsulation purposes, the processing conditions given by supercritical technology have important advantages over other methods th...

متن کامل

Protein Nanoparticle as a Versatile Drug Delivery System in Nanotechnology

Protein nanoparticles are extensively investigated as versatile drug delivery systems, due to their nanoscale size, container-like shape, natural source, biocompatibility, and biodegradability. They provide three distinct interfaces: internal, external, and inter-subunit interfaces for modifications. Chemistry and genetic engineering provide powerful tools to functionalize protein nanoparticles...

متن کامل

A Logic for Encapsulation in Object-Oriented Languages

We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language t...

متن کامل

A Logic for Encapsulation in Object Oriented

We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by deening a proof theory, a model theory and a xed point theory. We also show that the diierent characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a ...

متن کامل

Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

A solution to get the problem off, have you found it? Really? What kind of solution do you resolve the problem? From what sources? Well, there are so many questions that we utter every day. No matter how you will get the solution, it will mean better. You can take the reference from some books. And the fundamentals of computation theory 18th international symposium fct 2011 oslo norway august 2...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0807.4224  شماره 

صفحات  -

تاریخ انتشار 2008